A._Visser,_T._Litak;_"Lewis_and_Brouwer_meet_Strong_Löb"